Electronic Books

Total Books: 21 - 37 /37
Evolutionary Computation in Combinatorial Optimization : 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings

Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...

Lee mas
Finite Difference Computing with PDEs

This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...

Lee mas
Frontiers in Algorithmics : Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings

This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...

Lee mas
Graph-Theoretic Concepts in Computer Science : 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...

Lee mas
Integer Programming and Combinatorial Optimization : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...

Lee mas
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...

Lee mas
Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...

Lee mas
Learning and Intelligent Optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...

Lee mas
Multiobjective Optimization : Interactive and Evolutionary Approaches

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...

Lee mas
NoIMG
Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...

Lee mas
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6

This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...

Lee mas
NoIMG
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...

Lee mas
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...

Lee mas
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings

This book is organized in topical sections on applications, collective operations, library internals, message passing for ...

Lee mas
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Lee mas
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Lee mas
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...

Lee mas
Total Books: 21 - 37 /37